A new axiomatization for involutive monoidal t-norm-based logic
نویسندگان
چکیده
On the real unit interval, the notion of a Girard monoid coincides with the notion of a t-norm-based residuated lattice with strong induced negation. A geometrical approach toward these Girard monoids, based on the notion of rotation invariance, is turned in an adequate axiomatization for the Involutive Monoidal T-norm-based residuated Logic (IMTL).
منابع مشابه
Extending the Monoidal T-norm Based Logic with an Independent Involutive Negation
In this paper we investigate the logic MTL∼ obtained by extending Esteva and Godo’s logic MTL with an involutive negation ∼ not dependent on the t-norm and with the Baaz’s operator ∆. Moreover, we also introduce and study the related predicate calculus MTL∀∼. Algebraic and standard completeness results are shown to hold for both MTL∼ and MTL∀∼.
متن کاملOn strongly standard complete fuzzy logics: MTL∗ and its expansions
Finding strongly standard complete axiomatizations for t-norm based fuzzy logics (i.e. complete for deductions with infinite sets of premises w.r.t. semantics on the real unit interval [0, 1]) is still an open problem in general, even though results are already available for some particular cases like some infinitary logics based on a continuous t-norm or certain expansions of Monoidal t-norm b...
متن کاملOn Strongly Standard Complete Fuzzy Logics: MTLQ* and its Expansions
Finding strongly standard complete axiomatizations for t-norm based fuzzy logics (i.e. complete for deductions with infinite sets of premises w.r.t. semantics on the real unit interval [0, 1]) is still an open problem in general, even though results are already available for some particular cases like some infinitary logics based on a continuous t-norm or certain expansions of Monoidal t-norm b...
متن کاملThe standard completeness of interval-valued monoidal t-norm based logic
In this paper we prove the strong standard completeness of interval-valued monoidal t-norm based logic (IVMTL) and some of its extensions. For other extensions we show that they are not strong standard complete. We also give a local deduction theorem for IVMTL and other extensions of interval-valued monoidal logic. Similar results are obtained for interval-valued fuzzy logics expanded with Baaz...
متن کاملAnalytic Calculi for Monoidal T-norm Based Logic
Monoidal t-norm based logic MTL is the logic of left continuous t-norms. We introduce two analytic calculi for first-order MTL. These are obtained by lifting two sequent calculi for different fragments of this logic to the hypersequent level with subsequent addition of Avron’s communication rule. Our calculi enable to prove the mid(hyper)sequent theorem. As corollaries follow Herbrand’s theorem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fuzzy Sets and Systems
دوره 124 شماره
صفحات -
تاریخ انتشار 2001